#include <stdio.h>
#include "include/stm32mp157_rcc.h"

int main(void)
{
    printf("%x\n", (unsigned int)&RCC->MP_AHB4ENSETR);
    return 0;
}